Diclib.com
Woordenboek ChatGPT

Woordenboek opzoeken Oplossingen op maat

Voer een woord of zin in in een taal naar keuze 👆

Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

hoe het woord wordt gebruikt
gebruiksfrequentie
het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
opties voor woordvertaling
Gebruiksvoorbeelden (meerdere zinnen met vertaling)
etymologie

Wat (wie) is Формализация - definitie

АВТОМАТИЗИРУЕМОЕ ПРЕДСТАВЛЕНИЕ СИСТЕМЫ

Формализация

представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики (См. Формальная логика) как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов - в логике, элементарная геометрия - в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).

Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём - в частности Ф. в узком "математическом" смысле - носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более "формальной" теории). Так, традиционная "формальная" логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации

.

Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

ФОРМАЛИЗАЦИЯ

представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.

формализация

1. ж.
Процесс действия по знач. несов. глаг.: формализовать (1*).
2. ж.
Процесс действия по знач. несов. глаг.: формализовать (2*).

Wikipedia

Формализация

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.

Поскольку лингвистическая структура естественного языка не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, логика вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической дедукции, критерии различия правильных и неправильных способов рассуждения.

Создание логики специального языка, наряду с существующей на естественном языке, есть особый процесс, который предусматривает, что создана искусственная знаковая система является средством фиксации логической структуры мысли, с одной стороны, и средством исследования логических свойств и отношений мысли, с другой. То есть, язык логики — это прежде всего её метод. Принято говорить не «искусственный язык логики», а «формализованный язык логики». С лёгкой руки немецкого философа Иммануила Канта логике приписали прилагательное «формальная», поэтому логику стали называть формальной, а её метод — формализацией.

Любая формализация по определению игнорирует некоторую часть доступной информации и, следовательно, обедняет содержательное представление об исследуемом объекте.

https://ru.wikipedia.org/wiki/Формализация

Voorbeelden uit tekstcorpus voor Формализация

1. Зато возникновению новых партий такая формализация помешает.

2. Следовательно, для активного образа нужна определенная формализация.

3. Хотя, безусловно, некоторая формализация необходима и возможна.

4. Формализация процедуры предоставления гарантий на конкурсной основе. 27.

5. Каждый техрегламент - это действительно формализация отношений бизнеса с чиновниками.

Wat is Формализ<font color="red">а</font>ция - definition